let ( <=! ) x y = (cmp x y)<=0